• Continuous and discrete abstractions for planning, applied to ship docking 

      Meyer, Pierre-Jean; Yin, He; Brodtkorb, Astrid H.; Arcak, Murat; Sørensen, Asgeir Johan (Peer reviewed; Journal article, 2021)
      We propose a hierarchical control framework for the synthesis of correct-by-construction controllers for nonlinear control-affine systems with respect to reach-avoid-stay specifications. We first create a low-dimensional ...
    • Cooperative Control for Multirotors Transporting an Unknown Suspended Load under Environmental Disturbances 

      Klausen, Kristian; Meissen, Chris; Fossen, Thor I.; Arcak, Murat; Johansen, Tor Arne (Journal article; Peer reviewed, 2019)
      In this paper, we develop a cooperative control algorithm for a group of multirotor unmanned aerial vehicles (UAVs) transporting a suspended payload of unknown mass. In addition, the vehicles are subjected to unknown ...
    • Optimization-based planning and control of AUVs applied to adaptive sampling under ice 

      Bremnes, Jens Einar; Devonport, Alex; Yin, He; Arcak, Murat; Sørensen, Asgeir Johan; Utne, Ingrid Bouwer (Chapter, 2020)
      This paper presents a framework for optimization-based informative planning and control with applications to adaptive sampling with AUVs under sea ice. A spatial model of the information of interest is approximated as a ...
    • Passivity-based Formation Control for UAVs with a Suspended Load 

      Meissen, Chris; Klausen, Kristian; Arcak, Murat; Fossen, Thor I.; Packard, Andrew (Journal article, 2017)
      This paper presents a passivity based formation control strategy for multiple unmanned aerial vehicles (UAVs) cooperatively carrying a suspended load. The control strategy we propose consists of an internal feedback control ...